<html>
<body>
将简单的 getter 转换为 final 属性。
</body>
</html>